Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

机译：自动机理论符合障碍证书：非线性系统的时间逻辑验证

机译：原型验证系统中度量间隔时间逻辑公式的定时自动机

机译：使用动作的时间逻辑指定和验证公平输入/输出自动机的外部行为

机译：使用屏障证书对随机系统进行时态逻辑验证

机译：用于验证和控制网络系统的时空逻辑

机译：使用贴纸自动机模型检查时间逻辑公式

机译：自动机理论符合障碍证书：时态逻辑验证   非线性系统

机译：关于多状态自动机时间区间逻辑约束的实时系统的推理

机译：证书表，使用该页的证书打印设备，证书颁发方法，设备和证书验证方法，证书颁发系统和证书验证系统

机译：自认证通信设备，自认证验证通信设备，设备认证系统，该设备认证系统的设备认证方法，自认证验证通信程序和自认证通信程序

机译：临时逻辑公式创建支持系统，临时逻辑公式创建支持方法和临时逻辑公式创建支持程序